Skip to content

Conversation

@cmungall
Copy link
Member

#3

Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR adds a new section explaining how to invoke GitHub Copilot by assigning issues or pull requests.

  • Introduces “Invocation via GitHub Copilot” instructions
  • Describes assignment behavior and links to official documentation
  • Notes GitHub Pro requirement
Comments suppressed due to low confidence (2)

docs/how-tos/instruct-github-agent.md:149

  • [nitpick] The sentence is awkwardly phrased—consider rewriting as ‘Some repositories are now configured to use GitHub Copilot.’
Some repos now have been set up configured to use GitHub copilot.

docs/how-tos/instruct-github-agent.md:153

  • [nitpick] Capitalize ‘See’ at the start of the sentence and consider using markdown link syntax for consistency, e.g., [Using Copilot to work on an issue](https://docs.github.com/…).
see <https://docs.github.com/en/copilot/how-tos/agents/copilot-coding-agent/using-copilot-to-work-on-an-issue>

kltm and others added 2 commits July 17, 2025 16:42
A distillation of the sign-up process from myself and raymond.
Also noting the similar tutorial pointed out by @justaddcoffee at https://gist.github.com/dingp/bd56238f6706995d134ea98a3fb6ff3c .
@kltm
Copy link
Contributor

kltm commented Jul 18, 2025

@cmungall I've added a little on the Education Benefits from GH.

@cmungall cmungall merged commit 041b3a9 into main Jul 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants